Substitutions et β-systèmes de numération
نویسندگان
چکیده
منابع مشابه
Systèmes de numération indépendants et syndéticité
Ce travail est dédié au sourire de M. P. Schützenberger, sourire incomparable, inoubliable, expression de qualités rarement rencontrées ensemble, génie et gentillesse, humour et rigueur intellectuelle, le tout appuyé sur un courage indomptable face aux épreuves de l’histoire ou de la vie. Dans les lignes qui vont suivre, il aurait reconnu – ou peut-être reconnaı̂t-il – la trace de quelques-unes ...
متن کاملSystèmes de gestion de ressources et aspects de disponibilité
RÉSUMÉ. Dans cet article, nous considérons la gestion des ressources en isolation (i.e., séparée de la fonctionnalité de base) et la prévention des dénis de service (i.e., la disponibilité) comme des aspects. Nous nous concentrons sur les dénis de service liés à la gestion de ressources (famines, interblocages). Nos aspects spécifient des limites de temps ou un ordre dans l’allocation des resso...
متن کاملLangages Algébriques et Systèmes de Réécriture Rationells
— In this paper, a new methodfor generating languages is introduced. It consists of the définition ofafinite number ofrules ofthe type: fug may be replacedby fvg iffbelongs to a given regular language. It is proved that any de terminis tic language which is prefix can be generated starting from finite sets anditerating such rules. Conversely under suitable hypotheses on the R(u, v) the language...
متن کاملAnalyse statique de programmes et systèmes numériques
Alors que la complexité des traitements informatiques dans les systèmes embarqués croit chaque jour, la sûreté du fonctionnement de ces systèmes devient un enjeu crucial, tout particulièrement pour les systèmes critiques. Plus largement, synthétiser et garantir des propriétés sur le comportement d’un programme, est un objectif naturel et de large utilité. Cette habilitation (Putot, 2012) porte ...
متن کاملSur la structuration de deux systèmes complexes canards et processeurs
RÉSUMÉ. Nous montrons ici comment des méthodes analogues, basées sur des considérations très simples peuvent amener à résoudre des systèmes ou situations considérées comme complexes. Comment on passe d’une part des canards qui s’auto-organisent en vol à l’autostructuration d’un système informatique distribué. Nous rappellerons au passage comment exorciser le démon des processeurs (voir [12]). D...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 1995
ISSN: 0304-3975
DOI: 10.1016/0304-3975(95)91132-a